Funkcjonały zależne od pochodnych wyższych rzędów
Niech \( \hskip 0.3pc f:[a,b]\times\mathbb R^{n+1}\to\mathbb R\hskip 0.3pc \) będzie funkcją klasy \( \hskip 0.3pc C^n.\hskip 0.3pc \) Szukamy minimum funkcjonału
w zbiorze funkcji \( \hskip 0.3pc u\in C^n([a,b])\hskip 0.3pc \) spełniających warunki:
Można pokazać, że każda ekstremala funkcjonału ( 1 ) musi spełniać równanie Eulera-Poissona
a wariacja określona jest wzorem
Jeśli \( \hskip 0.3pc u_0\hskip 0.3pc \) jest ekstremalą, a ponadto druga wariacja jest określona dodatnio, funkcjonał \( \hskip 0.3pc {\cal F}\hskip 0.3pc \) osiąga na \( \hskip 0.3pc u_0\hskip 0.3pc \) minimum lokalne, jeśli jest określona ujemnie, maksimum lokalne.
w zbiorze funkcji \( \hskip 0.3pc u\in C^2([0,1])\hskip 0.3pc \) spełniających warunki:
Równanie Eulera-Poissona ma postać
czyli
Rozwiązanie ogólne tego równania jest nastepujące
zaś po uwzględnieniu zadanych warunków otrzymamy równanie ekstremali
Ponieważ druga wariacja, która w tym przypadku wyraża się wzorem
jest określona ujemnie, funkcjonał osiąga maksimum lokalne.
w zbiorze funkcji \( \hskip 0.3pc u\in C^2([a,b])\hskip 0.3pc \) spełniających warunki:
Oczywiście funkcja \( \hskip 0.3pc u=0\hskip 0.3pc \) realizuje minimum rozważanego funkcjonału. Pokażemy, że jest to jedyne rozwiązanie.
Istotnie, równanie Eulera-Poissona ma postać
a jego całka ogólna ma postać
Ponieważ całka ogólna zawiera cztery stałe, zadane warunki początkowe nie wystarczają do wyznaczenia wszystkich stałych. Zauważmy, że
Jeśli funkcjonał \( \hskip 0.3pc {\cal F}\hskip 0.3pc \) osiąga w punkcie \( \hskip 0.3pc u\hskip 0.3pc \) ekstremum, wówczas wariacja jest równa zeru, czyli
Ponieważ \( \hskip 0.3pc h\hskip 0.3pc \) jest dowolną funkcją w \( \hskip 0.3pc C^2([a,b])\hskip 0.3pc \) spełniającą warunek \( \hskip 0.3pc h(a)=h(b)=0,\hskip 0.3pc \) natomiast wartości \( \hskip 0.3pc h^\prime(a),\hskip 0.3pc \) \( \hskip 0.3pc h^\prime(b)\hskip 0.3pc \) mogą być dowolne, z ostatniego warunku wynika, że \( \hskip 0.3pc u^{\prime\prime}(a)=0,\hskip 0.3pc \) \( \hskip 0.3pc u^{\prime\prime}(b)=0.\hskip 0.3pc \) Stąd i ( 3 ) wynika, że \( \hskip 0.3pc u=0.\hskip 0.3pc \)